Перевод: с английского на русский

с русского на английский

С русского на:
Английский
С английского на:
Все языки
Итальянский
Русский
Французский

quantifier form

Толкование Перевод

1 quantifier form

мат. кванторная форма

Большой англо-русский и русско-английский словарь > quantifier form
2 quantifier form

Математика: кванторная форма

Универсальный англо-русский словарь > quantifier form
3 quantifier form

мат.

кванторная форма

English-Russian scientific dictionary > quantifier form
4 form

1) анкета; бланк

2) вид; форма || придавать вид или форму

3) контур; очертание

4) конфигурация

5) разновидность

6) строит. опалубка; элемент опалубки

7) скамейка, лавочка

8) формуляр

9) составлять; образовывать

10) формироваться

•

calculation in a series form — матем. вычисление с помощью ряда

evaluation of indeterminate form — матем. раскрытие неопределённости

expression in a closed form — выражение в конечном виде

fraction in a factored form — матем. дробь в форме разложения на множители

in a functonal form — в виде функции

in an expanded form — в виде ряда; в развёрнутом виде

integration in a closed form — матем. интегрирование в конечном виде

in the form of — в виде

of closed form — матем. в конечном виде, с конечным числом членов

preparation of type form — полигр. чернение набора

reduction to a normal form — матем. приведение к нормальной форме

to be supplied in a knock-down form — поставляться в разобранном виде

to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду

to draw up in a draft form — составлять начерно

to form a knee — сгибаться под углом

to form a circle — замыкаться в кольцо; образовывать кольцо

to form an angle with — образовывать угол c

to form an erect image — давать прямое изображение

to present in a factor form — разлагать на множители

to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)

to reduce equation to a form — приводить уравнение к виду

to simplify to this form — упростить и привести к следующему виду

to take on a form — принимать форму; принимать вид

- abridged form

- absolute form

- absolutely bounded form
- absolutely convergent form - absolutely extreme form
- abstract form

- adjoint form

- alternating form

- antiholomorphic form

- antilinear form

- antisymmetric form

- arithmetical form

- assertional form

- asymptotic form

- autodual form

- automorphic form

- bihomogeneous form

- bilinear form

- binomial form

- biquadratic form

- blank form

- block form

- boundary form

- bounded form

- bundle form

- categorical form

- center-radius form

- characteristic form

- classical canonical form

- classically integral form

- closable form

- coclosed form

- coded form

- coercive form

- collapsible form

- combinatory form

- compact form

- complementary boundary form

- completely positive form

- complex form

- complex-valued form

- condensed form

- confluent form

- conjugate form

- conjunctive form

- connection form

- contact form

- contiguous form

- contracted form

- convergent form

- convex form

- copositive form

- cubic form

- curvature form

- cusp form

- decimal form

- decomposable form

- defined form
- definite form
- degenerate form

- diagonal form

- diagonalized form

- difference form

- differential form

- dimensionless form

- discontinuous form

- disjunctive form

- distributive form

- divergence form

- dominant form

- double form

- echelon form

- effective form

- elemental form
- elementary form - elimination form of inverse
- elliptic form

- enantiomorphous form

- equivalent forms

- equivariant form

- essentually definite form
- everywhere regular form - evolutionary operation form
- exact form

- expanded form

- explicit form

- exponential form

- extensive form

- exterior form

- extreme form

- fiber form

- final form

- first fundamental form

- flat form

- form of constraint

- functional form

- fundamental form

- gage form

- generalized form

- generally covariant form
- geodesic curvature form
- goniometric form

- ground form

- hemihedral form

- holohedral form

- homological form

- horizontal form

- hyperbolic form

- hypocontinuous form

- implicative form

- implicit form

- imprimitive form

- improperly primitive form
- indefinite form
- indeterminate form

- index form

- inertia form

- inhomogeneous modular form

- initial form

- integer form

- integrable form

- integrated form of equation

- integro-differential form

- integro-power form

- intercept form

- intersection form

- invariant form

- irreducible form

- irredundant form

- iteratable form

- iterated form

- krakowian form

- left-invariant form

- limiting form

- locally compactifiable form

- logarithmical form

- measurable form

- meromorphic form

- message form

- minimal form

- modular form

- m-sectorial form

- multilinear form

- multiplicative form

- name form

- n-ary form

- negative definite form

- negative form

- negative semidefinite form

- neutral form

- nondegenerate form

- nonfull form

- nonnegative definite form

- nonnegative form

- nonpositive definite form

- nonpositive form

- nonsingular form

- norm form

- normal disjunctive form

- normed form

- normic form

- nuclear bilinear form

- null form

- numerical form

- one-signed quadratic form

- open form

- operator form

- optically active form
- p-adically equivalent form
- parametric form

- perfect form

- Pfaffian form

- piecewise linear form

- point-direction form

- point-slope form

- polarization form

- polarized form

- polylinear form

- polynomial form

- positive semidefinite form

- predicate form

- prime form

- primitive quadratic form

- principal form

- product form

- projective form

- properly equivalent forms

- propositional form

- pseudoasymptotic form

- pseudoelliptical form

- pseudoholomorphic form

- pseudoquadratic form

- pseudovolume form

- quantifier form

- quartic form

- quasiasymptotic form

- quasibilinear form

- quasidiagonal form

- quasinatural form

- quasinormal form

- quasiregular form

- quaternary form

- quaternion form

- rational form

- real-valued form

- reciprocal form

- rectangular form of complex number

- reduced echelon form

- reduced form of quadratic equation

- reduced form

- reflexive form

- relative defferential form
- relatively bounded form - repair request form
- residual form

- residue form

- resolving form

- resultant form

- scalar form

- second fundamental form

- self-conjugate form

- self-dual form

- semibasic form

- semibilinear form

- semicanonical form

- semicontinuous form

- semidefinite form

- semidiscrete form

- semiequivalent form

- seminormal form

- separately continuous form

- sesquilinear form

- shape form

- sharp form

- sign-and-absolute-value form

- simplified form

- skew-symmetric form

- slope-intercept form

- smooth form

- solder form

- space form

- special minimal form

- spectral form

- spinor form

- statement form

- strictly positive form

- structural form

- supercusp form

- symbolic form

- symmetric form of equation

- symmetrized form

- symplectic form

- tensorial form

- ternary quadratic form
- third fundamental form
- three-point form

- torsion form

- totally continuous form
- totally definite form - totally discontinuous form
- trace form

- transposed form

- trilinear form

- triple-diagonal form

- two-intercept form

- two-point form

- unbounded form

- unit bilinear form

- unitary form

- vectorial form

- vector-valued form

- vicinal form

- weighted form of lemma

English-Russian scientific dictionary > form
5 кванторная форма

мат. quantifier form

Большой англо-русский и русско-английский словарь > кванторная форма
6 bounded

1) граничить
2) ограниченный
3) ограниченно
4) разграниченный
5) связанный ∙ absolutely bounded form ≈ абсолютно ограниченная форма absolutely bounded function ≈ ограниченная по абсолютной величине функция absolutely bounded matrix ≈ абсолютно ограниченная матрица algebra of bounded representation type ≈ алгебра с ограниченными степенями представлений algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени almost bounded function ≈ функция, ограниченная почти всюду bounded above function ≈ ограниченная сверху функция bounded above operator ≈ ограниченый сверху оператор bounded above subset ≈ ограниченное сверху подмножество bounded below function ≈ ограниченная снизу функция bounded below operator ≈ ограниченный снизу оператор bounded below subset ≈ ограниченное снизу подмножество bounded closed interval ≈ ограниченный замкнутый интервал bounded distance decoding ≈ декодирование с ограниченным расстоянием bounded from one side ≈ полуограниченный bounded open interval ≈ ограниченный открытый интервал bounded partial quotient ≈ ограниченное неполное частное bounded pure subgroup ≈ ограниченная сервантная подгруппа bounded random variable ≈ ограниченная случайная величина bounded universal hypothesis ≈ ограниченная универсальная гипотеза bounded variable technique ≈ метод ограниченной переменной collectively bounded set ≈ ограниченное в совокупности множество completely bounded set ≈ вполне ограниченное множество completely bounded space ≈ вполне органическое пространство completely bounded statistic ≈ вполне ограниченная статистика derivative of bounded variation ≈ производная с ограниченной вариацией doubly bounded quantifier ≈ ограниченный с двух сторон квантор essentially bounded function ≈ существенно ограниченная функция essentially bounded random variable ≈ существенно ограниченная случайная величина essentially bounded sequence ≈ существенно ограниченная последовательность explicitly bounded function ≈ явно ограниченная функция finitely bounded germ ≈ конечно ограниченный росток function of bounded characteristic ≈ функция с ограниченной характеристикой function of bounded type ≈ функция ограниченного вида function of bounded variation ≈ функция с ограниченным изменением linearly bounded automaton ≈ линейно ориентированный автомат linearly bounded set ≈ линейно ограниченное множество locally bounded curvature ≈ локально ограниченная кривизна locally bounded density ≈ локально ограниченная плотность locally bounded function ≈ локально ограниченная функция locally bounded game ≈ локально ограниченная игра locally bounded space ≈ локально ограниченное пространство metrically bounded functional ≈ метрически ограниченный функционал metrically bounded set ≈ метрически ограниченное множество nontangentially bounded function ≈ нетангенциально ограниченная функция nontangentially bounded integral ≈ некасательно ограниченный интеграл order bounded functional ≈ ограниченный по упорядоченности функционал pointwise bounded function ≈ точечно ограниченная функция polynomially bounded function ≈ полиномиально ограниченная функция process with bounded aftereffect ≈ процесс с ограниченным последействием progressively bounded graph ≈ прогрессивно ограниченный граф recursively bounded quantifier ≈ рекурсивно ограниченный квантор regressively bounded graph ≈ регрессивно ограниченный граф relatively bounded form ≈ относительно ограниченная форма sequentially bounded net ≈ последовательно ограниченная сеть simply bounded subset ≈ поточечно ограниченное подмножество smoothly bounded region ≈ гладко ограниченная область stochastically bounded sequence ≈ стохастически ограниченная последовательность strictly bounded set ≈ строго ограниченное множество strongly bounded set ≈ сильно ограниченное множество strongly bounded space ≈ сильно ограниченное пространство theor of semigroups of linear bounded operators ≈ теория полугрупп линейных ограниченных операторов topology of bounded convergence ≈ топология ограниченной сходимости totally bounded measure ≈ вполне ограниченная мера totally bounded set ≈ вполне ограниченное множество totally bounded space ≈ вполне ограниченное пространство totally bounded subset ≈ вполне ограниченное подмножество totally bounded uniformity ≈ вполне ограниченная равномерность uniformly bounded convergence ≈ равномерно ограниченная сходимость uniformly bounded curvature ≈ равномерно ограниченная кривизна uniformly bounded error ≈ равномерно ограниченная ошибка uniformly bounded family ≈ равномерно ограниченное семейство uniformly bounded function ≈ равномерно ограниченная функция uniformly bounded kernel ≈ равномерно ограниченное ядро uniformly bounded sequence ≈ равномерно ограниченная последовательность uniformly bounded series ≈ равномерно ограниченный ряд uniformly bounded set ≈ равномерно ограниченное множество uniformly bounded variation ≈ равномерно ограниченная вариация weakly bounded set ≈ слабо ограниченное множество weakly bounded subset ≈ слабо ограниченное подмножество - almost bounded - bounded above - bounded acceptor - bounded accuracy - bounded adele - bounded aggregate - bounded approximation - bounded automaton - bounded axonometry - bounded below - bounded characteristic - bounded collection - bounded compactness - bounded completeness - bounded continuum - bounded convergence - bounded curvature - bounded decomposition - bounded deficiency - bounded degree - bounded derivation - bounded derivative - bounded deviation - bounded difference - bounded distribution - bounded domain - bounded duality - bounded extension - bounded field - bounded flow - bounded form - bounded frontier - bounded function - bounded functional - bounded group - bounded homomorphism - bounded index - bounded integral - bounded integrand - bounded intersection - bounded invertibility - bounded kernel - bounded language - bounded lattice - bounded mapping - bounded martingale - bounded matrix - bounded measure - bounded metric - bounded module - bounded monotonicity - bounded morphism - bounded motion - bounded network - bounded norm - bounded operator - bounded order - bounded path - bounded polyhedron - bounded potential - bounded predicate - bounded problem - bounded product - bounded projection - bounded quality - bounded quantification - bounded quantifier - bounded quantity - bounded quotient - bounded region - bounded representation - bounded retract - bounded semigroup - bounded sequence - bounded series - bounded set - bounded solution - bounded space - bounded spectrum - bounded spline - bounded string - bounded subset - bounded subtraction - bounded sum - bounded summand - bounded support - bounded term - bounded topology - bounded transformation - bounded utility - bounded variance - bounded variation - bounded varying - bounded vector - essentially bounded - explicitly bounded - exponentially bounded - power bounded - uniformly bounded - weakly bounded (математика) ограниченный

Большой англо-русский и русско-английский словарь > bounded

См. также в других словарях:

Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia
quantifier — Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake,… … Philosophy dictionary
quantifier shift fallacy — A fallacy of reversing the order of two quantifiers . The common form is that of moving from a statement of the form ‘every x has a related y ’ to one of the form ‘there is some y related to every x ’. An easily detected instance would be… … Philosophy dictionary
Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… … Wikipedia
Prenex normal form — A formula of the predicate calculus is in prenex[1] normal form if it is written as a string of quantifiers followed by a quantifier free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex… … Wikipedia
Pro-form — A pro form is a type of function word or expression that stands in for (expresses the same content as) another word, phrase, clause or sentence where the meaning is recoverable from the context. They are used either to avoid repetitive… … Wikipedia
Bounded quantifier — In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language. These are two quantifiers in addition to forall and exists. They are motivated by the fact that determining whether a sentence with only… … Wikipedia
prenex normal form — ˈprēˌneks noun Etymology: Late Latin praenexus tied up or bound in front, from Latin prae pre + nexus, past participle of nectere to tie, bind more at annex : a normal form of an expression in the functional calculus in which all the quantifiers… … Useful english dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на русский

quantifier form

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на русский

quantifier form

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: